Denoters serve to denote a value of a concrete type.
(315,100) (000,090)denoter (000,070)(1,0)030100int-denotation (1,0)030 (025,060)(20,20)[lb] (025,050)(1,0)005100real-denotation (1,0)005 (135,060)(20,20)[rb] (025,040)(20,20)[lb] (025,030)(1,0)005100bool-denotation (1,0)005 (135,040)(20,20)[rb] (025,020)(20,20)[lb] (025,010)(1,0)005100text-denotation (1,0)005 (135,020)(20,20)[rb] (005,060)(20,20)[rt] (015,060)(0,-1)040 (145,020)(0,1)040 (155,060)(20,20)[lt]
(315,050) (000,040)int-denotation, number (000,020)(1,0)030040digit (1,0)030 (075,010)(20,20)[r] (075,000)(-1,0)050 (025,010)(20,20)[l]
Notice that the int-denotation denotes an unsigned number, which must be preceded by a monadic minus to obtain a negative number.
(315,120) (000,110)real-denotation (000,090)(1,0)030060number (1,0)030010. (1,0)030060number (1,0)060 (225,080)(20,20)[r] (225,070)(-1,0)120 (105,060)(20,20)[l] (105,050)(1,0)005010e (1,0)070060number (1,0)005 (255,060)(20,20)[rb] (265,060)(0,1)20 (275,080)(20,20)[lt] (145,040)(20,20)[lb] (145,030)(1,0)005010+ (1,0)005 (165,040)(20,20)[rb] (145,020)(20,20)[lb] (145,010)(1,0)005010- (1,0)005 (165,020)(20,20)[rb] (125,040)(20,20)[rt] (135,040)(0,-1)20 (175,020)(0,1)20 (185,040)(20,20)[lt]
(315,080) (000,070)text-denotation (000,050)(1,0)030010" (1,0)180010" (1,0)030 (195,040)(20,20)[r] (195,030)(-1,0)005 (065,030)(1,0)005120any-character-except-quote (065,040)(20,20)[l] (205,040)(0,-1)20 (195,020)(20,20)[rb] (195,010)(-1,0)055 (065,010)(1,0)055020"" (065,020)(20,20)[lb] (055,020)(0,1)20
A text-denotation denotes the sequence of characters, obtained by stripping off its outermost quotes. Most characters, including the space, stand for themselves, but the quote-character is used as an escape.
(315,060) (000,050)bool-denotation (000,030)(1,0)030040TRUE (1,0)030 (005,020)(20,20)[rt] (025,020)(20,20)[lb] (025,010)(1,0)005040FALSE (1,0)005 (075,020)(20,20)[rb] (095,020)(20,20)[lt]